discourse representation theoryの例文

• A notable example of deep semantic annotation is the Groningen Meaning Bank, developed at the University of Groningen and annotated using Discourse Representation Theory.
• Semantic formalisms that have been used as the meaning languages in glue semantics analyses include versions of discourse representation theory, intensional logic, first-order logic, and natural semantic metalanguage.
• In fact, Hans Kamp ( 1981 ) and Irene Heim ( 1982 ) independently proposed very similar accounts in different terminology, which they called discourse representation theory ( DRT ) and file change semantics ( FCS ) respectively.
• Earlier work in semantics attempted to show how the meaning of many sentences could be directly represented by Discourse Representation Theory ( DRT ) did this by viewing successive contributions to discourse as " dynamically " modifying a model of the world the changing context.
• This approach to language has been especially influential among certain computational linguists perhaps more so than among more traditional Combinatory Categorial Grammar ), which attempt a derivation of syntactic and semantic representation in tandem and the semantics of quantifiers, scope and discourse ( Hans Kamp, a student of Montague, co-developed Discourse Representation Theory ).
• Both semantic and pragmatics considerations attend this phenomenon, which following Discourse Representation Theory since the early 1980s, such as work by Kamp ( 1981 ) and Heim ( File Change Semantics, 1982 ), and Generalized Quantifier Theory, such as work by Barwise and Cooper ( 1981 ), was studied in a series of psycholinguistic experiments in the early 1990s by Moxey and Sanford ( 1993 ) and Sanford et al . ( 1994 ).
• :: If an idiom is pretty much only used in one particular way, then it's hard to call it a " misuse " . . . It may be unexpected according to simple classic logic, but there are many things in human languages which classical first-order predicate logic simply is incapable of dealing with ( which is why whole theories of Discourse Representation Theory, Montague semantics, Intensional logic etc . were developed ) . talk ) 20 : 18, 10 December 2011 ( UTC)